Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
61	Computational Higher-Dimensional Type Theory Carlo Angiuli Robert Harper Todd Wilson Add to Reading List Source URL: www.cs.cmu.edu - Date: 2016-12-19 12:07:36
62	Two Lectures on Constructive Type Theory Robert L. Constable July 20, 2015 Abstract Main Goal: One goal of these two lectures is to explain how important ideas and problems Add to Reading List Source URL: www.cs.uoregon.edu - Date: 2015-07-23 12:52:29
63	A Toolkit for Constructing Type- and Constraint-Based Program Analyses Alexander Aiken, Manuel Fahndrich, Jerey S. Foster, Zhendong Su University of California, Berkeley? ?? Abstract. BANE (the Berkeley Analysis Engin Add to Reading List Source URL: theory.stanford.edu - Date: 2014-08-19 20:13:00
64	Why cubical type theory? Thorsten Altenkirch jww Ambrus Kaposi University of Nottingham ICMS, Berlin Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:33:53
65	Compact types and ordinals in constructive univalent type theory Mart´ın H¨ otzel Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk - Date: 2016-07-13 16:51:55
66	A Type Theory for Probabilistic and Bayesian Reasoning∗ Robin Adams1 and Bart Jacobs1 1 Institute for Computing and Information Sciences, Add to Reading List Source URL: www.cs.ru.nl - Date: 2015-11-30 05:35:32
67	Concurrent Programming in Linear Type Theory Frank Pfenning Carnegie Mellon University Joint work with Luís Caires, Bernardo Toninho, Jorge Add to Reading List Source URL: groups.inf.ed.ac.uk - Date: 2014-01-10 13:36:40
68	Answers to the test Type Theory and Coq, a) [a z ] I[w]→ ((a → b) → a) → a Add to Reading List Source URL: www.cs.ru.nl - Date: 2012-01-18 09:49:06
69	Computational Higher Type Theory Robert Harper Computer Science Department Carnegie Mellon University HoTT Workshop 2016 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2016-07-27 12:02:54
70	Answers to test: Type Theory and Coq. λx : (a → b) → c. λz : b. x (λy : a. z) 2. (a) [a → bx ] b Add to Reading List Source URL: www.cs.ru.nl - Date: 2011-01-21 08:14:59

UPDATE